1. Enumerability, decidability, computability. An introduction to the theory of recursive functions

پدیدآورنده :

کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)

موضوع : ، Recursive functions,، Algebraithms,، Godel's theorem

رده :
QA
248
.
5
.
H413
1969